-- MAIN == 0
DEF MAIN:bool == not(true)
